1. Proceedings of FMSP'00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA'00
Author: edited by Mats P. E. Heimdahl; sponsored by ACM SIGSOFT
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
76
.
D47W64
2000
